Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
231	Abstract: One of the main goals of bounded rationality models is to understand the limitations of agent’s abilities in building representations of strategic situations as maximization problems and in solving these pr Add to Reading List Source URL: ogossner.free.fr Language: English - Date: 2005-10-17 11:51:33 Turing machine Computability theory Models of computation Alan Turing Computational complexity theory Algorithm NP PP Computability Theoretical computer science Applied mathematics Computer science
232	Conversation Types Lu´ıs Caires and Hugo Torres Vieira CITI, Departamento de Inform´ atica, Faculdade de Ciˆencias e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2012-09-27 14:27:12 Models of computation Computer science Computability theory Lambda calculus Π-calculus Theoretical computer science Mathematics Applied mathematics
233	PDF Document Add to Reading List Source URL: bms.ulb.ac.be Language: English - Date: 2015-01-16 07:46:20 Theoretical computer science Mathematics Theory of computation Entscheidungsproblem Turing machine Turing test Andrew Hodges Bombe Enigma machine Alan Turing British people Computability theory
234	Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:02:39 Functions and mappings Theoretical computer science Formal methods Models of computation Model theory Symbol Lambda calculus Interpretation Primitive recursive function Mathematics Mathematical logic Computability theory
235	Some parametricity isomorphisms Paul Blain Levy September 16, 2010 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-09-16 16:40:23 Theoretical computer science Applied mathematics Computer science Ordinary differential equations Mathematics Computability theory Lambda calculus
236	Submitted to Sci. Math. Japonicae 1 Limiting rst order realizability interpretation Masahiro Nakata and Susumu Hayashi Add to Reading List Source URL: www.shayashi.jp Language: English - Date: 2008-10-02 07:57:24 Theory of computation Computability theory Function Integral calculus Primitive recursive function Fundamental theorem of calculus Mathematics Mathematical analysis Functions and mappings
237	BRICS RSBiernacka & Danvy: A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2006-02-02 19:43:31 Applied mathematics Models of computation Computability theory Explicit substitution Reduction strategy Operational semantics Beta normal form Overlap Formal language Mathematics Theoretical computer science Lambda calculus
238	Computing over the Reals: Foundations for Scientific Computing Mark Braverman and Stephen Cook Introduction Add to Reading List Source URL: www.ams.org Language: English - Date: 2006-02-08 14:25:07 Computer science Theory of computation Alan Turing Models of computation Computable function Church–Turing thesis Computability Computational complexity theory Computable number Computability theory Theoretical computer science Mathematics
239	BRICS RSO. Danvy: From Reduction-Based to Reduction-Free Normalization BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-01-20 05:23:35 Computability theory Formal languages Logic in computer science Lambda calculus Models of computation Reduction strategy Standard ML Function Normal form Theoretical computer science Mathematics Programming language theory
240	Turing & Burroughs A Beatnik SF Novel Rudy Rucker Transreal Books Add to Reading List Source URL: www.rudyrucker.com Language: English - Date: 2012-09-28 00:07:23 Computer science Theory of computation Alan Turing Turing machine Entscheidungsproblem Edgar Rice Burroughs Zeno Turing Halting problem Computability theory Theoretical computer science Mathematics

UPDATE